منابع مشابه
Hygienic methods - introducing HygJava
One of the base concepts of object-oriented programming is that of " method ". In languages supporting inheritance, this concept is realized by three different actions: (i) the introduction of a new method; (ii) the implementation/override of an existing method; (iii) the method call. The bindings between (ii) and (i), and between (iii) and (i) are typically based on method names, which are not...
متن کاملIntroducing Logic and Formal Methods with Coq
During the past three years we have been integrating mechanized theorem proving into a traditional introductory course on formal methods. We explain our goals for adding mechanized provers to the course, and illustrate how we have integrated the provers into our syllabus to meet those goals. We also document some of the teaching materials we have developed for the course to date, and what our e...
متن کاملThe Effects of Different Thawing Methods on the Hygienic Quality of the Canned Tuna
The consumption of canned tuna in the country has been increasing and some factors are effective on the chemical and organoleptic qualities of this product during transport. The aim of this project is to study methods to reduce histamine and improve the organoleptic properties of the product. Three thawing methods consisted of immersion, cold water shower and open air has been considered. Besid...
متن کاملHygienic Macros for ACL2
ACL2 is a theorem prover for a purely functional subset of Common Lisp. It inherits Common Lisp’s unhygienic macros, which are used pervasively to eliminate repeated syntactic patterns. The lack of hygiene means that macros do not automatically protect their producers or consumers from accidental variable capture. This paper demonstrates how this lack of hygiene interferes with theorem proving....
متن کاملDebugging hygienic macros
Over the past two decades, Scheme macros have evolved into a powerful API for the compiler front-end. Like Lisp macros, their predecessors, Scheme macros expand source programs into a small core language; unlike Lisp systems, Scheme macro expanders preserve lexical scoping, and advanced Scheme macro systems handle other important properties such as source location. Using such macros, Scheme pro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2007
ISSN: 1660-1769
DOI: 10.5381/jot.2007.6.9.a11